A Framework for Fusing Consistent Knowledge Bases Automatically
نویسندگان
چکیده
Knowledge-based systems play a pivotal role in the information economies. Knowledge base inconsistencies can adversely affect a system’s correctness and performance. In this paper, we propose a framework for fusing several knowledge bases together to produce a consistent one. The framework is based on two cornerstones: detecting inconsistencies using algorithmic techniques to compute minimally unsatisfiable formulas, and adopting a logic-based weakening approach to restore consistency for the fused knowledge base. We study the dynamics in the framework in terms of both the model-theoretic and the fixpoint semantics for the fused knowledge base.
منابع مشابه
Solution of Harmonic Problems with Weak Singularities Using Equilibrated Basis Functions in Finite Element Method
In this paper, Equilibrated Singular Basis Functions (EqSBFs) are implemented in the framework of the Finite Element Method (FEM), which can approximately satisfy the harmonic PDE in homogeneous and heterogeneous media. EqSBFs are able to automatically reproduce the terms consistent with the singularity order in the vicinity of the singular point. The newly made bases are used as the compliment...
متن کاملStructure Preserving TBox Repair using Defaults
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to resolve the conflict by the original logics used. Under certain conditions, however, the structure and intention of the original axioms must be preserved in the knowledge base. This, in turn, requires changing the unde...
متن کاملPBA: Partition and Blocking Based Alignment for Large Knowledge Bases
The vigorous development of semantic web has enabled the creation of a growing number of large-scale knowledge bases across various domains. As different knowledge-bases contain overlapping and complementary information, automatically integrating these knowledge bases by aligning their classes and instances can improve the quality and coverage of the knowledge bases. Existing knowledge-base ali...
متن کاملTowards Automatic Construction of Knowledge Bases from Chinese Online Resources
Automatically constructing knowledge bases from online resources has become a crucial task in many research areas. Most existing knowledge bases are built from English resources, while few efforts have been made for other languages. Building knowledge bases for Chinese is of great importance on its own right. However, simply adapting existing tools from English to Chinese yields inferior result...
متن کاملPERFORMANCE-BASED SEISMIC DESIGN OPTIMIZATION FOR MULI-COLUMN RC BRIDGE PIERS, CONSIDERING QUASI-ISOLATION
In this paper an optimization framework is presented for automated performance-based seismic design of bridges consisting of multi-column RC pier substructures. The beneficial effects of fusing components on seismic performance of the quasi-isolated system is duly addressed in analysis and design. The proposed method is based on a two-step structural analysis consisting of a linear modal dynami...
متن کامل